Automated continuous verification for numerical simulation
نویسندگان
چکیده
منابع مشابه
Using Finite Point Method for the Numerical Simulation of Heat Transfer Coupled with Microsegregation during Continuous Casting
In the present work, a meshless method called Finite Point Method (FPM) is developed to simulate the solidification process of a continuously cast steel bloom in both primary and secondary cooling regions. The method is based on the use of a weighted least-square interpolation procedure. A transverse slice of the bloom moving at casting speed is considered as the computational domain and two di...
متن کاملCoupled numerical simulation of hot stamping process and experimental verification
Hot stamping process is a high non-linear process showing the effect on thermal, mechanical and metallurgical phenomena as they relate to each other. In order to carry out this coupled numerical simulation, fundamental thermal properties such as interfacial heat transfer coefficient and convection heat transfer coefficient as well as crucial mechanics properties were first investigated. Hot sta...
متن کاملSimulation-Based Automated Verification of Safety-Critical Chassis-Control Systems
This paper presents and exemplifies a novel methodology to perform simulation-based automated testing for verification of complex chassis-control systems. The methods are derived from computer-game principles and regard the system under test as an opponent that is defeated when the specification is violated. The methodology is demonstrated on an auto-coding implementation of a brake-blending fu...
متن کاملAutomated Abstraction of Numerical Simulation Models - Theory and Practical Experience
This paper presents and discusses work on the automated generation of qualitative (diagnostic) models from simulation models that have been developed for (control) engineering purposes. This work is motivated by an attempt to build model-based tools that support a closer integration of diagnostic considerations in early design phases of on-board systems for vehicles and based on the insight tha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Geoscientific Model Development
سال: 2011
ISSN: 1991-9603
DOI: 10.5194/gmd-4-435-2011